f8683469b29a9cca26bbb5ca9d650426f76f92f8,library/src/org/webpki/keygen2/ProvisioningInitializationResponseDecoder.java,ProvisioningInitializationResponseDecoder,readJSONData,#JSONObjectReader#,59

Before Change



        clientSessionId = getID(rd, CLIENT_SESSION_ID_JSON);

        serverTime = rd.getDateTime(SERVER_TIME_JSON).getTime();

        clientTime = rd.getDateTime(CLIENT_TIME_JSON).getTime();

After Change



        clientSessionId = getID(rd, CLIENT_SESSION_ID_JSON);

        serverTime = rd.getDateTime(SERVER_TIME_JSON);

        clientTime = rd.getDateTime(CLIENT_TIME_JSON);